;; The first four lines of this file were added by Dracula.
;; They tell DrScheme that this is a Dracula Modular ACL2 program.
;; Leave these lines unchanged so that DrScheme can properly load this file.
#reader(planet "reader.rkt" ("cce" "dracula.plt") "modular" "lang")
(require "Idriver.lisp")
(require "Iavltree.lisp")

(module Mdriver-private

  (import Iavltree)
  
  (set-state-ok T)
  (include-book "io-utilities" :dir :teachpacks)
  (include-book "list-utilities" :dir :teachpacks)
  
(defun team-creator (input-file output-file)
    (cons input-file output-file))     
  
  (export Idriver)
)

(link Mdriver
  (import Iavltree)
  (export Idriver)
  (Mdriver-private))
